[[Module theory MOC]]
# Category of left-modules

Let $R$ be a [[ring]].
The **category of left-modules** $\lMod{R}$ is a [[category]] where
an object is a left-[[module]] over $R$
and a morphism is a [[module homomorphism]]. #m/def/module 
See the special case of [[Category of modules over a commutative ring]].

## Properties

- This is a [[Bicartesian category]] under the [[direct sum of modules]].

#
---
#state/develop | #lang/en | #SemBr